nonexpansive mapping

不放大映射